developing statecharts

Игры ⚽ Поможем написать курсовую

Automata-based programming (Shalyto's approach) — Automata Based Programming is a programming technology [1] . Its defining characteristic is the use of finite state machines to describe program behavior. The transition graphs of a state machines are used in all stages of software development… … Wikipedia
IAR Systems — is a Swedish computer technology company working in the area of embedded system development tools. IAR Systems was founded in 1983. From 2000 to 2005, IAR was listed on the Swedish stock exchange. In 2005, the Nocom group acquired IAR and took it … Wikipedia
Switch-technology — is a technology for automata based programming support. It was proposed by Anatoly Shalyto in 1991. It involves software specification, design, implementation, debugging, documentation and maintenance. The term “automata based programming” is… … Wikipedia
X-Machine Testing — The (Stream) X Machine Testing Methodology is a complete functional testing approach to software and hardware testingM. Holcombe and F. Ipate (1998) Correct Systems Building a Business Process Solution . Springer, Applied Computing Series.] that… … Wikipedia

Словари и энциклопедии на Академике